[{"oa_version":"Submitted Version","publication_status":"published","publisher":"Elsevier","type":"journal_article","project":[{"name":"Limits to selection in biology and in evolutionary computation","grant_number":"250152","call_identifier":"FP7","_id":"25B07788-B435-11E9-9278-68D0E5697425"},{"_id":"25DC711C-B435-11E9-9278-68D0E5697425","name":"Social Vaccination in Ant Colonies: from Individual Mechanisms to Society Effects","grant_number":"243071","call_identifier":"FP7"}],"month":"05","date_updated":"2025-09-23T08:54:35Z","department":[{"_id":"NiBa"},{"_id":"SyCr"}],"title":"Fungal disease dynamics in insect societies: Optimal killing rates and the ambivalent effect of high social interaction rates","_id":"1850","ec_funded":1,"isi":1,"year":"2015","issue":"5","language":[{"iso":"eng"}],"publication":"Journal of Theoretical Biology","page":"54 - 64","publist_id":"5251","volume":372,"external_id":{"isi":["000353311700006"]},"author":[{"first_name":"Sebastian","full_name":"Novak, Sebastian","orcid":"0000-0002-2519-824X","last_name":"Novak","id":"461468AE-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Sylvia","last_name":"Cremer","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87","full_name":"Cremer, Sylvia","orcid":"0000-0002-2193-3868"}],"pubrep_id":"329","file":[{"relation":"main_file","file_id":"5326","creator":"system","date_updated":"2020-07-14T12:45:19Z","date_created":"2018-12-12T10:18:07Z","access_level":"open_access","content_type":"application/pdf","checksum":"3c0dcacc900bc45cc65a453dfda4ca43","file_size":1546914,"file_name":"IST-2015-329-v1+1_manuscript.pdf"}],"date_published":"2015-05-07T00:00:00Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","status":"public","has_accepted_license":"1","article_processing_charge":"No","oa":1,"file_date_updated":"2020-07-14T12:45:19Z","ddc":["576"],"abstract":[{"text":"Entomopathogenic fungi are potent biocontrol agents that are widely used against insect pests, many of which are social insects. Nevertheless, theoretical investigations of their particular life history are scarce. We develop a model that takes into account the main distinguishing features between traditionally studied diseases and obligate killing pathogens, like the (biocontrol-relevant) insect-pathogenic fungi Metarhizium and Beauveria. First, obligate killing entomopathogenic fungi produce new infectious particles (conidiospores) only after host death and not yet on the living host. Second, the killing rates of entomopathogenic fungi depend strongly on the initial exposure dosage, thus we explicitly consider the pathogen load of individual hosts. Further, we make the model applicable not only to solitary host species, but also to group living species by incorporating social interactions between hosts, like the collective disease defences of insect societies. Our results identify the optimal killing rate for the pathogen that minimises its invasion threshold. Furthermore, we find that the rate of contact between hosts has an ambivalent effect: dense interaction networks between individuals are considered to facilitate disease outbreaks because of increased pathogen transmission. In social insects, this is compensated by their collective disease defences, i.e., social immunity. For the type of pathogens considered here, we show that even without social immunity, high contact rates between live individuals dilute the pathogen in the host colony and hence can reduce individual pathogen loads below disease-causing levels.","lang":"eng"}],"doi":"10.1016/j.jtbi.2015.02.018","intvolume":"       372","day":"07","corr_author":"1","citation":{"ama":"Novak S, Cremer S. Fungal disease dynamics in insect societies: Optimal killing rates and the ambivalent effect of high social interaction rates. <i>Journal of Theoretical Biology</i>. 2015;372(5):54-64. doi:<a href=\"https://doi.org/10.1016/j.jtbi.2015.02.018\">10.1016/j.jtbi.2015.02.018</a>","short":"S. Novak, S. Cremer, Journal of Theoretical Biology 372 (2015) 54–64.","ieee":"S. Novak and S. Cremer, “Fungal disease dynamics in insect societies: Optimal killing rates and the ambivalent effect of high social interaction rates,” <i>Journal of Theoretical Biology</i>, vol. 372, no. 5. Elsevier, pp. 54–64, 2015.","mla":"Novak, Sebastian, and Sylvia Cremer. “Fungal Disease Dynamics in Insect Societies: Optimal Killing Rates and the Ambivalent Effect of High Social Interaction Rates.” <i>Journal of Theoretical Biology</i>, vol. 372, no. 5, Elsevier, 2015, pp. 54–64, doi:<a href=\"https://doi.org/10.1016/j.jtbi.2015.02.018\">10.1016/j.jtbi.2015.02.018</a>.","chicago":"Novak, Sebastian, and Sylvia Cremer. “Fungal Disease Dynamics in Insect Societies: Optimal Killing Rates and the Ambivalent Effect of High Social Interaction Rates.” <i>Journal of Theoretical Biology</i>. Elsevier, 2015. <a href=\"https://doi.org/10.1016/j.jtbi.2015.02.018\">https://doi.org/10.1016/j.jtbi.2015.02.018</a>.","apa":"Novak, S., &#38; Cremer, S. (2015). Fungal disease dynamics in insect societies: Optimal killing rates and the ambivalent effect of high social interaction rates. <i>Journal of Theoretical Biology</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.jtbi.2015.02.018\">https://doi.org/10.1016/j.jtbi.2015.02.018</a>","ista":"Novak S, Cremer S. 2015. Fungal disease dynamics in insect societies: Optimal killing rates and the ambivalent effect of high social interaction rates. Journal of Theoretical Biology. 372(5), 54–64."},"date_created":"2018-12-11T11:54:21Z","quality_controlled":"1","scopus_import":"1"},{"has_accepted_license":"1","article_processing_charge":"No","oa":1,"file_date_updated":"2020-07-14T12:45:19Z","abstract":[{"lang":"eng","text":"We consider mating strategies for females who search for males sequentially during a season of limited length. We show that the best strategy rejects a given male type if encountered before a time-threshold but accepts him after. For frequency-independent benefits, we obtain the optimal time-thresholds explicitly for both discrete and continuous distributions of males, and allow for mistakes being made in assessing the correct male type. When the benefits are indirect (genes for the offspring) and the population is under frequency-dependent ecological selection, the benefits depend on the mating strategy of other females as well. This case is particularly relevant to speciation models that seek to explore the stability of reproductive isolation by assortative mating under frequency-dependent ecological selection. We show that the indirect benefits are to be quantified by the reproductive values of couples, and describe how the evolutionarily stable time-thresholds can be found. We conclude with an example based on the Levene model, in which we analyze the evolutionarily stable assortative mating strategies and the strength of reproductive isolation provided by them."}],"ddc":["570"],"doi":"10.1111/evo.12618","intvolume":"        69","day":"09","corr_author":"1","date_created":"2018-12-11T11:54:21Z","citation":{"ama":"Priklopil T, Kisdi E, Gyllenberg M. Evolutionarily stable mating decisions for sequentially searching females and the stability of reproductive isolation by assortative mating. <i>Evolution</i>. 2015;69(4):1015-1026. doi:<a href=\"https://doi.org/10.1111/evo.12618\">10.1111/evo.12618</a>","short":"T. Priklopil, E. Kisdi, M. Gyllenberg, Evolution 69 (2015) 1015–1026.","ieee":"T. Priklopil, E. Kisdi, and M. Gyllenberg, “Evolutionarily stable mating decisions for sequentially searching females and the stability of reproductive isolation by assortative mating,” <i>Evolution</i>, vol. 69, no. 4. Wiley, pp. 1015–1026, 2015.","ista":"Priklopil T, Kisdi E, Gyllenberg M. 2015. Evolutionarily stable mating decisions for sequentially searching females and the stability of reproductive isolation by assortative mating. Evolution. 69(4), 1015–1026.","apa":"Priklopil, T., Kisdi, E., &#38; Gyllenberg, M. (2015). Evolutionarily stable mating decisions for sequentially searching females and the stability of reproductive isolation by assortative mating. <i>Evolution</i>. Wiley. <a href=\"https://doi.org/10.1111/evo.12618\">https://doi.org/10.1111/evo.12618</a>","chicago":"Priklopil, Tadeas, Eva Kisdi, and Mats Gyllenberg. “Evolutionarily Stable Mating Decisions for Sequentially Searching Females and the Stability of Reproductive Isolation by Assortative Mating.” <i>Evolution</i>. Wiley, 2015. <a href=\"https://doi.org/10.1111/evo.12618\">https://doi.org/10.1111/evo.12618</a>.","mla":"Priklopil, Tadeas, et al. “Evolutionarily Stable Mating Decisions for Sequentially Searching Females and the Stability of Reproductive Isolation by Assortative Mating.” <i>Evolution</i>, vol. 69, no. 4, Wiley, 2015, pp. 1015–26, doi:<a href=\"https://doi.org/10.1111/evo.12618\">10.1111/evo.12618</a>."},"quality_controlled":"1","scopus_import":"1","year":"2015","issue":"4","publication":"Evolution","page":"1015 - 1026","language":[{"iso":"eng"}],"publist_id":"5249","volume":69,"external_id":{"pmid":["25662095"],"isi":["000353236000014"]},"author":[{"full_name":"Priklopil, Tadeas","last_name":"Priklopil","id":"3C869AA0-F248-11E8-B48F-1D18A9856A87","first_name":"Tadeas"},{"first_name":"Eva","last_name":"Kisdi","full_name":"Kisdi, Eva"},{"first_name":"Mats","full_name":"Gyllenberg, Mats","last_name":"Gyllenberg"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","file":[{"date_updated":"2020-07-14T12:45:19Z","relation":"main_file","creator":"dernst","file_id":"7855","file_size":967214,"file_name":"2015_Evolution_Priklopil.pdf","access_level":"open_access","content_type":"application/pdf","date_created":"2020-05-15T09:05:34Z","checksum":"1e8be0b1d7598a78cd2623d8ee8e7798"}],"date_published":"2015-02-09T00:00:00Z","status":"public","date_updated":"2025-09-22T14:27:30Z","title":"Evolutionarily stable mating decisions for sequentially searching females and the stability of reproductive isolation by assortative mating","department":[{"_id":"NiBa"},{"_id":"KrCh"}],"pmid":1,"_id":"1851","ec_funded":1,"publication_identifier":{"issn":["0014-3820"],"eissn":["1558-5646"]},"isi":1,"oa_version":"Submitted Version","publisher":"Wiley","type":"journal_article","publication_status":"published","article_type":"original","month":"02","project":[{"name":"International IST Postdoc Fellowship Programme","grant_number":"291734","call_identifier":"FP7","_id":"25681D80-B435-11E9-9278-68D0E5697425"}]},{"title":"A sting in the spit: Widespread cross-infection of multiple RNA viruses across wild and managed bees","tmp":{"image":"/images/cc_by.png","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)"},"department":[{"_id":"SyCr"}],"date_updated":"2025-09-23T07:26:24Z","isi":1,"pmid":1,"_id":"1855","oa_version":"Published Version","publication_status":"published","type":"journal_article","publisher":"Wiley","article_type":"original","month":"03","oa":1,"file_date_updated":"2020-07-14T12:45:19Z","abstract":[{"lang":"eng","text":"Summary: Declining populations of bee pollinators are a cause of concern, with major repercussions for biodiversity loss and food security. RNA viruses associated with honeybees represent a potential threat to other insect pollinators, but the extent of this threat is poorly understood. This study aims to attain a detailed understanding of the current and ongoing risk of emerging infectious disease (EID) transmission between managed and wild pollinator species across a wide range of RNA viruses. Within a structured large-scale national survey across 26 independent sites, we quantify the prevalence and pathogen loads of multiple RNA viruses in co-occurring managed honeybee (Apis mellifera) and wild bumblebee (Bombus spp.) populations. We then construct models that compare virus prevalence between wild and managed pollinators. Multiple RNA viruses associated with honeybees are widespread in sympatric wild bumblebee populations. Virus prevalence in honeybees is a significant predictor of virus prevalence in bumblebees, but we remain cautious in speculating over the principle direction of pathogen transmission. We demonstrate species-specific differences in prevalence, indicating significant variation in disease susceptibility or tolerance. Pathogen loads within individual bumblebees may be high and in the case of at least one RNA virus, prevalence is higher in wild bumblebees than in managed honeybee populations. Our findings indicate widespread transmission of RNA viruses between managed and wild bee pollinators, pointing to an interconnected network of potential disease pressures within and among pollinator species. In the context of the biodiversity crisis, our study emphasizes the importance of targeting a wide range of pathogens and defining host associations when considering potential drivers of population decline."}],"license":"https://creativecommons.org/licenses/by/4.0/","ddc":["570"],"has_accepted_license":"1","article_processing_charge":"No","day":"03","citation":{"mla":"Mcmahon, Dino, et al. “A Sting in the Spit: Widespread Cross-Infection of Multiple RNA Viruses across Wild and Managed Bees.” <i>Journal of Animal Ecology</i>, vol. 84, no. 3, Wiley, 2015, pp. 615–24, doi:<a href=\"https://doi.org/10.1111/1365-2656.12345\">10.1111/1365-2656.12345</a>.","chicago":"Mcmahon, Dino, Matthias Fürst, Jesicca Caspar, Panagiotis Theodorou, Mark Brown, and Robert Paxton. “A Sting in the Spit: Widespread Cross-Infection of Multiple RNA Viruses across Wild and Managed Bees.” <i>Journal of Animal Ecology</i>. Wiley, 2015. <a href=\"https://doi.org/10.1111/1365-2656.12345\">https://doi.org/10.1111/1365-2656.12345</a>.","apa":"Mcmahon, D., Fürst, M., Caspar, J., Theodorou, P., Brown, M., &#38; Paxton, R. (2015). A sting in the spit: Widespread cross-infection of multiple RNA viruses across wild and managed bees. <i>Journal of Animal Ecology</i>. Wiley. <a href=\"https://doi.org/10.1111/1365-2656.12345\">https://doi.org/10.1111/1365-2656.12345</a>","ista":"Mcmahon D, Fürst M, Caspar J, Theodorou P, Brown M, Paxton R. 2015. A sting in the spit: Widespread cross-infection of multiple RNA viruses across wild and managed bees. Journal of Animal Ecology. 84(3), 615–624.","short":"D. Mcmahon, M. Fürst, J. Caspar, P. Theodorou, M. Brown, R. Paxton, Journal of Animal Ecology 84 (2015) 615–624.","ieee":"D. Mcmahon, M. Fürst, J. Caspar, P. Theodorou, M. Brown, and R. Paxton, “A sting in the spit: Widespread cross-infection of multiple RNA viruses across wild and managed bees,” <i>Journal of Animal Ecology</i>, vol. 84, no. 3. Wiley, pp. 615–624, 2015.","ama":"Mcmahon D, Fürst M, Caspar J, Theodorou P, Brown M, Paxton R. A sting in the spit: Widespread cross-infection of multiple RNA viruses across wild and managed bees. <i>Journal of Animal Ecology</i>. 2015;84(3):615-624. doi:<a href=\"https://doi.org/10.1111/1365-2656.12345\">10.1111/1365-2656.12345</a>"},"date_created":"2018-12-11T11:54:23Z","quality_controlled":"1","scopus_import":"1","doi":"10.1111/1365-2656.12345","related_material":{"record":[{"id":"9720","relation":"research_data","status":"public"}]},"intvolume":"        84","issue":"3","publication":"Journal of Animal Ecology","page":"615 - 624","language":[{"iso":"eng"}],"year":"2015","acknowledgement":"We thank J.R. de Miranda, L. De Smet and D. de Graaf for supplying qRT-PCR and MLPA positive controls, respectively, in the form of plasmids. This work was supported by the Insect Pollinators Initiative (IPI grants BB/1000100/1 and BB/I000151/1). The IPI is funded jointly by the Biotechnology and Biological Sciences Research Council, the Department for Environment, Food and Rural Affairs, the Natural Environment Research Council, The Scottish Government and The Wellcome Trust, under the Living with Environmental Change Partnership.","status":"public","publist_id":"5245","volume":84,"external_id":{"pmid":["25646973"],"isi":["000353405300004"]},"author":[{"first_name":"Dino","full_name":"Mcmahon, Dino","last_name":"Mcmahon"},{"orcid":"0000-0002-3712-925X","full_name":"Fürst, Matthias","last_name":"Fürst","id":"393B1196-F248-11E8-B48F-1D18A9856A87","first_name":"Matthias"},{"first_name":"Jesicca","last_name":"Caspar","full_name":"Caspar, Jesicca"},{"first_name":"Panagiotis","full_name":"Theodorou, Panagiotis","last_name":"Theodorou"},{"first_name":"Mark","last_name":"Brown","full_name":"Brown, Mark"},{"full_name":"Paxton, Robert","last_name":"Paxton","first_name":"Robert"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","file":[{"checksum":"542a0b9b07e78050a81b35f26f0b82da","access_level":"open_access","content_type":"application/pdf","date_created":"2018-12-12T10:18:29Z","file_name":"IST-2016-460-v1+1_McMahon_et_al-2015-Journal_of_Animal_Ecology.pdf","file_size":1823045,"creator":"system","file_id":"5350","relation":"main_file","date_updated":"2020-07-14T12:45:19Z"}],"date_published":"2015-03-03T00:00:00Z","pubrep_id":"460"},{"year":"2015","language":[{"iso":"eng"}],"publication":"Journal of the ACM","issue":"1","date_published":"2015-02-01T00:00:00Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","volume":62,"publist_id":"5244","author":[{"first_name":"Krishnendu","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu"},{"last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","first_name":"Thomas A"},{"first_name":"Barbara","last_name":"Jobstmann","full_name":"Jobstmann, Barbara"},{"last_name":"Singh","full_name":"Singh, Rohit","first_name":"Rohit"}],"external_id":{"isi":["000350563000009"],"arxiv":["1004.0739"]},"status":"public","article_number":"9","article_processing_charge":"No","abstract":[{"text":"The traditional synthesis question given a specification asks for the automatic construction of a system that satisfies the specification, whereas often there exists a preference order among the different systems that satisfy the given specification. Under a probabilistic assumption about the possible inputs, such a preference order is naturally expressed by a weighted automaton, which assigns to each word a value, such that a system is preferred if it generates a higher expected value. We solve the following optimal synthesis problem: given an omega-regular specification, a Markov chain that describes the distribution of inputs, and a weighted automaton that measures how well a system satisfies the given specification under the input assumption, synthesize a system that optimizes the measured value. For safety specifications and quantitative measures that are defined by mean-payoff automata, the optimal synthesis problem reduces to finding a strategy in a Markov decision process (MDP) that is optimal for a long-run average reward objective, which can be achieved in polynomial time. For general omega-regular specifications along with mean-payoff automata, the solution rests on a new, polynomial-time algorithm for computing optimal strategies in MDPs with mean-payoff parity objectives. Our algorithm constructs optimal strategies that consist of two memoryless strategies and a counter. The counter is in general not bounded. To obtain a finite-state system, we show how to construct an ε-optimal strategy with a bounded counter, for all ε &gt; 0. Furthermore, we show how to decide in polynomial time if it is possible to construct an optimal finite-state system (i.e., a system without a counter) for a given specification. We have implemented our approach and the underlying algorithms in a tool that takes qualitative and quantitative specifications and automatically constructs a system that satisfies the qualitative specification and optimizes the quantitative specification, if such a system exists. We present some experimental results showing optimal systems that were automatically generated in this way.","lang":"eng"}],"oa":1,"related_material":{"record":[{"id":"3864","relation":"earlier_version","status":"public"}]},"intvolume":"        62","doi":"10.1145/2699430","citation":{"ista":"Chatterjee K, Henzinger TA, Jobstmann B, Singh R. 2015. Measuring and synthesizing systems in probabilistic environments. Journal of the ACM. 62(1), 9.","chicago":"Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Rohit Singh. “Measuring and Synthesizing Systems in Probabilistic Environments.” <i>Journal of the ACM</i>. ACM, 2015. <a href=\"https://doi.org/10.1145/2699430\">https://doi.org/10.1145/2699430</a>.","apa":"Chatterjee, K., Henzinger, T. A., Jobstmann, B., &#38; Singh, R. (2015). Measuring and synthesizing systems in probabilistic environments. <i>Journal of the ACM</i>. ACM. <a href=\"https://doi.org/10.1145/2699430\">https://doi.org/10.1145/2699430</a>","mla":"Chatterjee, Krishnendu, et al. “Measuring and Synthesizing Systems in Probabilistic Environments.” <i>Journal of the ACM</i>, vol. 62, no. 1, 9, ACM, 2015, doi:<a href=\"https://doi.org/10.1145/2699430\">10.1145/2699430</a>.","ieee":"K. Chatterjee, T. A. Henzinger, B. Jobstmann, and R. Singh, “Measuring and synthesizing systems in probabilistic environments,” <i>Journal of the ACM</i>, vol. 62, no. 1. ACM, 2015.","short":"K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, Journal of the ACM 62 (2015).","ama":"Chatterjee K, Henzinger TA, Jobstmann B, Singh R. Measuring and synthesizing systems in probabilistic environments. <i>Journal of the ACM</i>. 2015;62(1). doi:<a href=\"https://doi.org/10.1145/2699430\">10.1145/2699430</a>"},"date_created":"2018-12-11T11:54:23Z","quality_controlled":"1","scopus_import":"1","day":"01","type":"journal_article","publication_status":"published","publisher":"ACM","oa_version":"Preprint","arxiv":1,"project":[{"name":"Quantitative Reactive Modeling","grant_number":"267989","call_identifier":"FP7","_id":"25EE3708-B435-11E9-9278-68D0E5697425"},{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23","call_identifier":"FWF","name":"Rigorous Systems Engineering"},{"name":"Modern Graph Algorithmic Techniques in Formal Verification","grant_number":"P 23499-N23","call_identifier":"FWF","_id":"2584A770-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FWF","grant_number":"S11407","name":"Game Theory","_id":"25863FF4-B435-11E9-9278-68D0E5697425"},{"grant_number":"279307","call_identifier":"FP7","name":"Quantitative Graph Games: Theory and Applications","_id":"2581B60A-B435-11E9-9278-68D0E5697425"},{"_id":"2587B514-B435-11E9-9278-68D0E5697425","name":"Microsoft Research Faculty Fellowship"}],"month":"02","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1004.0739"}],"date_updated":"2025-09-23T09:33:01Z","department":[{"_id":"KrCh"},{"_id":"ToHe"}],"title":"Measuring and synthesizing systems in probabilistic environments","_id":"1856","ec_funded":1,"isi":1},{"month":"06","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1412.1353"}],"oa_version":"Preprint","type":"conference","publication_status":"published","publisher":"IEEE","arxiv":1,"_id":"1857","date_updated":"2025-06-11T07:19:52Z","title":"Curriculum learning of multiple tasks","department":[{"_id":"ChLa"}],"publist_id":"5243","author":[{"first_name":"Anastasia","full_name":"Pentina, Anastasia","id":"42E87FC6-F248-11E8-B48F-1D18A9856A87","last_name":"Pentina"},{"first_name":"Viktoriia","orcid":"0000-0003-0192-9308","full_name":"Sharmanska, Viktoriia","id":"2EA6D09E-F248-11E8-B48F-1D18A9856A87","last_name":"Sharmanska"},{"first_name":"Christoph","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","last_name":"Lampert","full_name":"Lampert, Christoph","orcid":"0000-0001-8622-7887"}],"external_id":{"arxiv":["1412.1353"]},"date_published":"2015-06-01T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","year":"2015","language":[{"iso":"eng"}],"page":"5492 - 5500","doi":"10.1109/CVPR.2015.7299188","day":"01","corr_author":"1","date_created":"2018-12-11T11:54:23Z","quality_controlled":"1","citation":{"ista":"Pentina A, Sharmanska V, Lampert C. 2015. Curriculum learning of multiple tasks. CVPR: Computer Vision and Pattern Recognition, 5492–5500.","chicago":"Pentina, Anastasia, Viktoriia Sharmanska, and Christoph Lampert. “Curriculum Learning of Multiple Tasks,” 5492–5500. IEEE, 2015. <a href=\"https://doi.org/10.1109/CVPR.2015.7299188\">https://doi.org/10.1109/CVPR.2015.7299188</a>.","apa":"Pentina, A., Sharmanska, V., &#38; Lampert, C. (2015). Curriculum learning of multiple tasks (pp. 5492–5500). Presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, United States: IEEE. <a href=\"https://doi.org/10.1109/CVPR.2015.7299188\">https://doi.org/10.1109/CVPR.2015.7299188</a>","mla":"Pentina, Anastasia, et al. <i>Curriculum Learning of Multiple Tasks</i>. IEEE, 2015, pp. 5492–500, doi:<a href=\"https://doi.org/10.1109/CVPR.2015.7299188\">10.1109/CVPR.2015.7299188</a>.","short":"A. Pentina, V. Sharmanska, C. Lampert, in:, IEEE, 2015, pp. 5492–5500.","ieee":"A. Pentina, V. Sharmanska, and C. Lampert, “Curriculum learning of multiple tasks,” presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, United States, 2015, pp. 5492–5500.","ama":"Pentina A, Sharmanska V, Lampert C. Curriculum learning of multiple tasks. In: IEEE; 2015:5492-5500. doi:<a href=\"https://doi.org/10.1109/CVPR.2015.7299188\">10.1109/CVPR.2015.7299188</a>"},"scopus_import":"1","conference":{"start_date":"2015-06-07","end_date":"2015-06-12","name":"CVPR: Computer Vision and Pattern Recognition","location":"Boston, MA, United States"},"article_processing_charge":"No","oa":1,"abstract":[{"lang":"eng","text":"Sharing information between multiple tasks enables algorithms to achieve good generalization performance even from small amounts of training data. However, in a realistic scenario of multi-task learning not all tasks are equally related to each other, hence it could be advantageous to transfer information only between the most related tasks. In this work we propose an approach that processes multiple tasks in a sequence with sharing between subsequent tasks instead of solving all tasks jointly. Subsequently, we address the question of curriculum learning of tasks, i.e. finding the best order of tasks to be learned. Our approach is based on a generalization bound criterion for choosing the task order that optimizes the average expected classification performance over all tasks. Our experimental results show that learning multiple related tasks sequentially can be more effective than learning them jointly, the order in which tasks are being solved affects the overall performance, and that our model is able to automatically discover the favourable order of tasks. "}]},{"main_file_link":[{"url":"https://arxiv.org/abs/1406.5362","open_access":"1"}],"status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2015-10-15T00:00:00Z","month":"10","publist_id":"5241","author":[{"first_name":"Christoph","last_name":"Lampert","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","full_name":"Lampert, Christoph","orcid":"0000-0001-8622-7887"}],"external_id":{"arxiv":["1406.5362"]},"page":"942 - 950","language":[{"iso":"eng"}],"arxiv":1,"publication_status":"published","type":"conference","publisher":"IEEE","year":"2015","oa_version":"Preprint","citation":{"chicago":"Lampert, Christoph. “Predicting the Future Behavior of a Time-Varying Probability Distribution,” 942–50. IEEE, 2015. <a href=\"https://doi.org/10.1109/CVPR.2015.7298696\">https://doi.org/10.1109/CVPR.2015.7298696</a>.","apa":"Lampert, C. (2015). Predicting the future behavior of a time-varying probability distribution (pp. 942–950). Presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, United States: IEEE. <a href=\"https://doi.org/10.1109/CVPR.2015.7298696\">https://doi.org/10.1109/CVPR.2015.7298696</a>","mla":"Lampert, Christoph. <i>Predicting the Future Behavior of a Time-Varying Probability Distribution</i>. IEEE, 2015, pp. 942–50, doi:<a href=\"https://doi.org/10.1109/CVPR.2015.7298696\">10.1109/CVPR.2015.7298696</a>.","ista":"Lampert C. 2015. Predicting the future behavior of a time-varying probability distribution. CVPR: Computer Vision and Pattern Recognition, 942–950.","short":"C. Lampert, in:, IEEE, 2015, pp. 942–950.","ieee":"C. Lampert, “Predicting the future behavior of a time-varying probability distribution,” presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, United States, 2015, pp. 942–950.","ama":"Lampert C. Predicting the future behavior of a time-varying probability distribution. In: IEEE; 2015:942-950. doi:<a href=\"https://doi.org/10.1109/CVPR.2015.7298696\">10.1109/CVPR.2015.7298696</a>"},"quality_controlled":"1","date_created":"2018-12-11T11:54:24Z","scopus_import":1,"corr_author":"1","day":"15","_id":"1858","doi":"10.1109/CVPR.2015.7298696","title":"Predicting the future behavior of a time-varying probability distribution","department":[{"_id":"ChLa"}],"abstract":[{"text":"We study the problem of predicting the future, though only in the probabilistic sense of estimating a future state of a time-varying probability distribution. This is not only an interesting academic problem, but solving this extrapolation problem also has many practical application, e.g. for training classifiers that have to operate under time-varying conditions. Our main contribution is a method for predicting the next step of the time-varying distribution from a given sequence of sample sets from earlier time steps. For this we rely on two recent machine learning techniques: embedding probability distributions into a reproducing kernel Hilbert space, and learning operators by vector-valued regression. We illustrate the working principles and the practical usefulness of our method by experiments on synthetic and real data. We also highlight an exemplary application: training a classifier in a domain adaptation setting without having access to examples from the test time distribution at training time.","lang":"eng"}],"oa":1,"conference":{"start_date":"2015-06-07","end_date":"2015-06-12","location":"Boston, MA, United States","name":"CVPR: Computer Vision and Pattern Recognition"},"date_updated":"2024-10-09T20:56:24Z"},{"title":"A multi-plane block-coordinate Frank-Wolfe algorithm for training structural SVMs with a costly max-oracle","department":[{"_id":"VlKo"},{"_id":"ChLa"}],"date_updated":"2025-06-11T07:20:12Z","_id":"1859","ec_funded":1,"arxiv":1,"oa_version":"Preprint","publisher":"IEEE","type":"conference","publication_status":"published","main_file_link":[{"url":"http://arxiv.org/abs/1408.6804","open_access":"1"}],"month":"06","project":[{"name":"Lifelong Learning of Visual Scene Understanding","grant_number":"308036","call_identifier":"FP7","_id":"2532554C-B435-11E9-9278-68D0E5697425"},{"grant_number":"616160","call_identifier":"FP7","name":"Discrete Optimization in Computer Vision: Theory and Practice","_id":"25FBA906-B435-11E9-9278-68D0E5697425"}],"oa":1,"abstract":[{"text":"Structural support vector machines (SSVMs) are amongst the best performing models for structured computer vision tasks, such as semantic image segmentation or human pose estimation. Training SSVMs, however, is computationally costly, because it requires repeated calls to a structured prediction subroutine (called \\emph{max-oracle}), which has to solve an optimization problem itself, e.g. a graph cut.\r\nIn this work, we introduce a new algorithm for SSVM training that is more efficient than earlier techniques when the max-oracle is computationally expensive, as it is frequently the case in computer vision tasks. The main idea is to (i) combine the recent stochastic Block-Coordinate Frank-Wolfe algorithm with efficient hyperplane caching, and (ii) use an automatic selection rule for deciding whether to call the exact max-oracle or to rely on an approximate one based on the cached hyperplanes.\r\nWe show experimentally that this strategy leads to faster convergence to the optimum with respect to the number of requires oracle calls, and that this translates into faster convergence with respect to the total runtime when the max-oracle is slow compared to the other steps of the algorithm. ","lang":"eng"}],"conference":{"location":"Boston, MA, USA","name":"CVPR: Computer Vision and Pattern Recognition","end_date":"2015-06-12","start_date":"2015-06-07"},"article_processing_charge":"No","day":"01","corr_author":"1","date_created":"2018-12-11T11:54:24Z","citation":{"short":"N. Shah, V. Kolmogorov, C. Lampert, in:, IEEE, 2015, pp. 2737–2745.","ieee":"N. Shah, V. Kolmogorov, and C. Lampert, “A multi-plane block-coordinate Frank-Wolfe algorithm for training structural SVMs with a costly max-oracle,” presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, USA, 2015, pp. 2737–2745.","ama":"Shah N, Kolmogorov V, Lampert C. A multi-plane block-coordinate Frank-Wolfe algorithm for training structural SVMs with a costly max-oracle. In: IEEE; 2015:2737-2745. doi:<a href=\"https://doi.org/10.1109/CVPR.2015.7298890\">10.1109/CVPR.2015.7298890</a>","apa":"Shah, N., Kolmogorov, V., &#38; Lampert, C. (2015). A multi-plane block-coordinate Frank-Wolfe algorithm for training structural SVMs with a costly max-oracle (pp. 2737–2745). Presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, USA: IEEE. <a href=\"https://doi.org/10.1109/CVPR.2015.7298890\">https://doi.org/10.1109/CVPR.2015.7298890</a>","mla":"Shah, Neel, et al. <i>A Multi-Plane Block-Coordinate Frank-Wolfe Algorithm for Training Structural SVMs with a Costly Max-Oracle</i>. IEEE, 2015, pp. 2737–45, doi:<a href=\"https://doi.org/10.1109/CVPR.2015.7298890\">10.1109/CVPR.2015.7298890</a>.","chicago":"Shah, Neel, Vladimir Kolmogorov, and Christoph Lampert. “A Multi-Plane Block-Coordinate Frank-Wolfe Algorithm for Training Structural SVMs with a Costly Max-Oracle,” 2737–45. IEEE, 2015. <a href=\"https://doi.org/10.1109/CVPR.2015.7298890\">https://doi.org/10.1109/CVPR.2015.7298890</a>.","ista":"Shah N, Kolmogorov V, Lampert C. 2015. A multi-plane block-coordinate Frank-Wolfe algorithm for training structural SVMs with a costly max-oracle. CVPR: Computer Vision and Pattern Recognition, 2737–2745."},"quality_controlled":"1","scopus_import":"1","doi":"10.1109/CVPR.2015.7298890","page":"2737 - 2745","language":[{"iso":"eng"}],"year":"2015","status":"public","publist_id":"5240","author":[{"first_name":"Neel","full_name":"Shah, Neel","id":"31ABAF80-F248-11E8-B48F-1D18A9856A87","last_name":"Shah"},{"full_name":"Kolmogorov, Vladimir","last_name":"Kolmogorov","id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87","first_name":"Vladimir"},{"last_name":"Lampert","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8622-7887","full_name":"Lampert, Christoph","first_name":"Christoph"}],"external_id":{"arxiv":["1408.6804"]},"date_published":"2015-06-01T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"oa":1,"department":[{"_id":"ChLa"}],"abstract":[{"lang":"eng","text":"Classifiers for object categorization are usually evaluated by their accuracy on a set of i.i.d. test examples. This provides us with an estimate of the expected error when applying the classifiers to a single new image. In real application, however, classifiers are rarely only used for a single image and then discarded. Instead, they are applied sequentially to many images, and these are typically not i.i.d. samples from a fixed data distribution, but they carry dependencies and their class distribution varies over time. In this work, we argue that the phenomenon of correlated data at prediction time is not a nuisance, but a blessing in disguise. We describe a probabilistic method for adapting classifiers at prediction time without having to retrain them. We also introduce a framework for creating realistically distributed image sequences, which offers a way to benchmark classifier adaptation methods, such as the one we propose. Experiments on the ILSVRC2010 and ILSVRC2012 datasets show that adapting object classification systems at prediction time can significantly reduce their error rate, even with no additional human feedback."}],"title":"Classifier adaptation at prediction time","date_updated":"2021-01-12T06:53:41Z","conference":{"name":"CVPR: Computer Vision and Pattern Recognition","location":"Boston, MA, United States","end_date":"2015-06-12","start_date":"2015-06-07"},"day":"01","scopus_import":1,"date_created":"2018-12-11T11:54:24Z","citation":{"apa":"Royer, A., &#38; Lampert, C. (2015). Classifier adaptation at prediction time (pp. 1401–1409). Presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, United States: IEEE. <a href=\"https://doi.org/10.1109/CVPR.2015.7298746\">https://doi.org/10.1109/CVPR.2015.7298746</a>","chicago":"Royer, Amélie, and Christoph Lampert. “Classifier Adaptation at Prediction Time,” 1401–9. IEEE, 2015. <a href=\"https://doi.org/10.1109/CVPR.2015.7298746\">https://doi.org/10.1109/CVPR.2015.7298746</a>.","mla":"Royer, Amélie, and Christoph Lampert. <i>Classifier Adaptation at Prediction Time</i>. IEEE, 2015, pp. 1401–09, doi:<a href=\"https://doi.org/10.1109/CVPR.2015.7298746\">10.1109/CVPR.2015.7298746</a>.","ista":"Royer A, Lampert C. 2015. Classifier adaptation at prediction time. CVPR: Computer Vision and Pattern Recognition, 1401–1409.","ama":"Royer A, Lampert C. Classifier adaptation at prediction time. In: IEEE; 2015:1401-1409. doi:<a href=\"https://doi.org/10.1109/CVPR.2015.7298746\">10.1109/CVPR.2015.7298746</a>","ieee":"A. Royer and C. Lampert, “Classifier adaptation at prediction time,” presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, United States, 2015, pp. 1401–1409.","short":"A. Royer, C. Lampert, in:, IEEE, 2015, pp. 1401–1409."},"quality_controlled":"1","doi":"10.1109/CVPR.2015.7298746","ec_funded":1,"_id":"1860","page":"1401 - 1409","language":[{"iso":"eng"}],"year":"2015","oa_version":"Submitted Version","publisher":"IEEE","type":"conference","publication_status":"published","main_file_link":[{"open_access":"1","url":"http://www.cv-foundation.org/openaccess/content_cvpr_2015/papers/Royer_Classifier_Adaptation_at_2015_CVPR_paper.pdf"}],"status":"public","author":[{"full_name":"Royer, Amélie","last_name":"Royer","first_name":"Amélie"},{"last_name":"Lampert","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8622-7887","full_name":"Lampert, Christoph","first_name":"Christoph"}],"publist_id":"5239","month":"06","project":[{"_id":"2532554C-B435-11E9-9278-68D0E5697425","name":"Lifelong Learning of Visual Scene Understanding","grant_number":"308036","call_identifier":"FP7"}],"date_published":"2015-06-01T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"abstract":[{"lang":"eng","text":"Continuous-time Markov chains are commonly used in practice for modeling biochemical reaction networks in which the inherent randomness of themolecular interactions cannot be ignored. This has motivated recent research effort into methods for parameter inference and experiment design for such models. The major difficulty is that such methods usually require one to iteratively solve the chemical master equation that governs the time evolution of the probability distribution of the system. This, however, is rarely possible, and even approximation techniques remain limited to relatively small and simple systems. An alternative explored in this article is to base methods on only some low-order moments of the entire probability distribution. We summarize the theory behind such moment-based methods for parameter inference and experiment design and provide new case studies where we investigate their performance."}],"article_processing_charge":"No","article_number":"8","scopus_import":"1","citation":{"ama":"Ruess J, Lygeros J. Moment-based methods for parameter inference and experiment design for stochastic biochemical reaction networks. <i>ACM Transactions on Modeling and Computer Simulation</i>. 2015;25(2). doi:<a href=\"https://doi.org/10.1145/2688906\">10.1145/2688906</a>","short":"J. Ruess, J. Lygeros, ACM Transactions on Modeling and Computer Simulation 25 (2015).","ieee":"J. Ruess and J. Lygeros, “Moment-based methods for parameter inference and experiment design for stochastic biochemical reaction networks,” <i>ACM Transactions on Modeling and Computer Simulation</i>, vol. 25, no. 2. ACM, 2015.","chicago":"Ruess, Jakob, and John Lygeros. “Moment-Based Methods for Parameter Inference and Experiment Design for Stochastic Biochemical Reaction Networks.” <i>ACM Transactions on Modeling and Computer Simulation</i>. ACM, 2015. <a href=\"https://doi.org/10.1145/2688906\">https://doi.org/10.1145/2688906</a>.","apa":"Ruess, J., &#38; Lygeros, J. (2015). Moment-based methods for parameter inference and experiment design for stochastic biochemical reaction networks. <i>ACM Transactions on Modeling and Computer Simulation</i>. ACM. <a href=\"https://doi.org/10.1145/2688906\">https://doi.org/10.1145/2688906</a>","mla":"Ruess, Jakob, and John Lygeros. “Moment-Based Methods for Parameter Inference and Experiment Design for Stochastic Biochemical Reaction Networks.” <i>ACM Transactions on Modeling and Computer Simulation</i>, vol. 25, no. 2, 8, ACM, 2015, doi:<a href=\"https://doi.org/10.1145/2688906\">10.1145/2688906</a>.","ista":"Ruess J, Lygeros J. 2015. Moment-based methods for parameter inference and experiment design for stochastic biochemical reaction networks. ACM Transactions on Modeling and Computer Simulation. 25(2), 8."},"date_created":"2018-12-11T11:54:25Z","quality_controlled":"1","day":"01","intvolume":"        25","doi":"10.1145/2688906","publication":"ACM Transactions on Modeling and Computer Simulation","language":[{"iso":"eng"}],"issue":"2","year":"2015","acknowledgement":"HYCON2; EC; European Commission\r\n","status":"public","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","date_published":"2015-02-01T00:00:00Z","author":[{"id":"4A245D00-F248-11E8-B48F-1D18A9856A87","last_name":"Ruess","orcid":"0000-0003-1615-3282","full_name":"Ruess, Jakob","first_name":"Jakob"},{"first_name":"John","last_name":"Lygeros","full_name":"Lygeros, John"}],"external_id":{"isi":["000354789200002"]},"publist_id":"5238","volume":25,"department":[{"_id":"ToHe"},{"_id":"GaTk"}],"title":"Moment-based methods for parameter inference and experiment design for stochastic biochemical reaction networks","date_updated":"2025-09-23T09:36:19Z","isi":1,"_id":"1861","publication_status":"published","publisher":"ACM","type":"journal_article","oa_version":"None","month":"02"},{"arxiv":1,"oa_version":"Preprint","publication_status":"published","type":"journal_article","publisher":"Springer","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1309.5107"}],"project":[{"_id":"258DCDE6-B435-11E9-9278-68D0E5697425","grant_number":"338804","call_identifier":"FP7","name":"Random matrices, universality and disordered quantum systems"}],"month":"03","department":[{"_id":"LaEr"}],"title":"The Altshuler-Shklovskii formulas for random band matrices II: The general case","date_updated":"2025-10-22T10:23:38Z","isi":1,"ec_funded":1,"_id":"1864","issue":"3","language":[{"iso":"eng"}],"publication":"Annales Henri Poincare","page":"709 - 799","year":"2015","status":"public","external_id":{"isi":["000349364100002"],"arxiv":["1309.5107"]},"author":[{"last_name":"Erdös","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","full_name":"Erdös, László","orcid":"0000-0001-5366-9603","first_name":"László"},{"first_name":"Antti","full_name":"Knowles, Antti","last_name":"Knowles"}],"volume":16,"publist_id":"5233","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2015-03-01T00:00:00Z","oa":1,"abstract":[{"lang":"eng","text":"The Altshuler–Shklovskii formulas (Altshuler and Shklovskii, BZh Eksp Teor Fiz 91:200, 1986) predict, for any disordered quantum system in the diffusive regime, a universal power law behaviour for the correlation functions of the mesoscopic eigenvalue density. In this paper and its companion (Erdős and Knowles, The Altshuler–Shklovskii formulas for random band matrices I: the unimodular case, 2013), we prove these formulas for random band matrices. In (Erdős and Knowles, The Altshuler–Shklovskii formulas for random band matrices I: the unimodular case, 2013) we introduced a diagrammatic approach and presented robust estimates on general diagrams under certain simplifying assumptions. In this paper, we remove these assumptions by giving a general estimate of the subleading diagrams. We also give a precise analysis of the leading diagrams which give rise to the Altschuler–Shklovskii power laws. Moreover, we introduce a family of general random band matrices which interpolates between real symmetric (β = 1) and complex Hermitian (β = 2) models, and track the transition for the mesoscopic density–density correlation. Finally, we address the higher-order correlation functions by proving that they behave asymptotically according to a Gaussian process whose covariance is given by the Altshuler–Shklovskii formulas.\r\n"}],"article_processing_charge":"No","day":"01","scopus_import":"1","citation":{"ama":"Erdös L, Knowles A. The Altshuler-Shklovskii formulas for random band matrices II: The general case. <i>Annales Henri Poincare</i>. 2015;16(3):709-799. doi:<a href=\"https://doi.org/10.1007/s00023-014-0333-5\">10.1007/s00023-014-0333-5</a>","ieee":"L. Erdös and A. Knowles, “The Altshuler-Shklovskii formulas for random band matrices II: The general case,” <i>Annales Henri Poincare</i>, vol. 16, no. 3. Springer, pp. 709–799, 2015.","short":"L. Erdös, A. Knowles, Annales Henri Poincare 16 (2015) 709–799.","chicago":"Erdös, László, and Antti Knowles. “The Altshuler-Shklovskii Formulas for Random Band Matrices II: The General Case.” <i>Annales Henri Poincare</i>. Springer, 2015. <a href=\"https://doi.org/10.1007/s00023-014-0333-5\">https://doi.org/10.1007/s00023-014-0333-5</a>.","apa":"Erdös, L., &#38; Knowles, A. (2015). The Altshuler-Shklovskii formulas for random band matrices II: The general case. <i>Annales Henri Poincare</i>. Springer. <a href=\"https://doi.org/10.1007/s00023-014-0333-5\">https://doi.org/10.1007/s00023-014-0333-5</a>","mla":"Erdös, László, and Antti Knowles. “The Altshuler-Shklovskii Formulas for Random Band Matrices II: The General Case.” <i>Annales Henri Poincare</i>, vol. 16, no. 3, Springer, 2015, pp. 709–99, doi:<a href=\"https://doi.org/10.1007/s00023-014-0333-5\">10.1007/s00023-014-0333-5</a>.","ista":"Erdös L, Knowles A. 2015. The Altshuler-Shklovskii formulas for random band matrices II: The general case. Annales Henri Poincare. 16(3), 709–799."},"date_created":"2018-12-11T11:54:26Z","doi":"10.1007/s00023-014-0333-5","intvolume":"        16"},{"project":[{"_id":"25716A02-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","grant_number":"282300","name":"Polarity and subcellular dynamics in plants"}],"month":"02","publisher":"Company of Biologists","type":"journal_article","publication_status":"published","oa_version":"None","_id":"1865","ec_funded":1,"isi":1,"date_updated":"2025-09-23T09:50:13Z","department":[{"_id":"JiFr"}],"title":"Plant embryogenesis requires AUX/LAX-mediated auxin influx","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","date_published":"2015-02-15T00:00:00Z","volume":142,"publist_id":"5231","author":[{"first_name":"Hélène","last_name":"Robert","full_name":"Robert, Hélène"},{"first_name":"Wim","last_name":"Grunewald","full_name":"Grunewald, Wim"},{"last_name":"Sauer","full_name":"Sauer, Michael","first_name":"Michael"},{"first_name":"Bernard","last_name":"Cannoot","full_name":"Cannoot, Bernard"},{"last_name":"Soriano","full_name":"Soriano, Mercedes","first_name":"Mercedes"},{"first_name":"Ranjan","full_name":"Swarup, Ranjan","last_name":"Swarup"},{"last_name":"Weijers","full_name":"Weijers, Dolf","first_name":"Dolf"},{"last_name":"Bennett","full_name":"Bennett, Malcolm","first_name":"Malcolm"},{"full_name":"Boutilier, Kim","last_name":"Boutilier","first_name":"Kim"},{"first_name":"Jirí","id":"4159519E-F248-11E8-B48F-1D18A9856A87","last_name":"Friml","full_name":"Friml, Jirí","orcid":"0000-0002-8302-7596"}],"external_id":{"isi":["000351697100011"]},"status":"public","acknowledgement":"W.G. is a post-doctoral fellow of the Research Foundation Flanders. H.S.R. is supported by Employment of Best Young Scientists for International Cooperation Empowerment [CZ.1.07/2.3.00/30.0037], co-financed by the European Social Fund and the state budget of the Czech Republic. Mi.S. was funded by the Ramón y Cajal program. This work was supported by the European Research Council [project ERC-2011-StG-20101109-PSDP], project ‘CEITEC – Central European Institute of Technology’ [CZ.1.05/1.1.00/02.0068], the European Social Fund [CZ.1.07/2.3.00/20.0043] and the Czech Science Foundation GACR [GA13-40637S] to J.F. We acknowledge funding from the Biological and Biotechnological Science Research Council (BBSRC) and Engineering Physics Science Research Council (EPSRC) to R.S. and M.B","year":"2015","page":"702 - 711","publication":"Development","language":[{"iso":"eng"}],"issue":"4","intvolume":"       142","doi":"10.1242/dev.115832","quality_controlled":"1","citation":{"ama":"Robert H, Grunewald W, Sauer M, et al. Plant embryogenesis requires AUX/LAX-mediated auxin influx. <i>Development</i>. 2015;142(4):702-711. doi:<a href=\"https://doi.org/10.1242/dev.115832\">10.1242/dev.115832</a>","ieee":"H. Robert <i>et al.</i>, “Plant embryogenesis requires AUX/LAX-mediated auxin influx,” <i>Development</i>, vol. 142, no. 4. Company of Biologists, pp. 702–711, 2015.","short":"H. Robert, W. Grunewald, M. Sauer, B. Cannoot, M. Soriano, R. Swarup, D. Weijers, M. Bennett, K. Boutilier, J. Friml, Development 142 (2015) 702–711.","apa":"Robert, H., Grunewald, W., Sauer, M., Cannoot, B., Soriano, M., Swarup, R., … Friml, J. (2015). Plant embryogenesis requires AUX/LAX-mediated auxin influx. <i>Development</i>. Company of Biologists. <a href=\"https://doi.org/10.1242/dev.115832\">https://doi.org/10.1242/dev.115832</a>","chicago":"Robert, Hélène, Wim Grunewald, Michael Sauer, Bernard Cannoot, Mercedes Soriano, Ranjan Swarup, Dolf Weijers, Malcolm Bennett, Kim Boutilier, and Jiří Friml. “Plant Embryogenesis Requires AUX/LAX-Mediated Auxin Influx.” <i>Development</i>. Company of Biologists, 2015. <a href=\"https://doi.org/10.1242/dev.115832\">https://doi.org/10.1242/dev.115832</a>.","mla":"Robert, Hélène, et al. “Plant Embryogenesis Requires AUX/LAX-Mediated Auxin Influx.” <i>Development</i>, vol. 142, no. 4, Company of Biologists, 2015, pp. 702–11, doi:<a href=\"https://doi.org/10.1242/dev.115832\">10.1242/dev.115832</a>.","ista":"Robert H, Grunewald W, Sauer M, Cannoot B, Soriano M, Swarup R, Weijers D, Bennett M, Boutilier K, Friml J. 2015. Plant embryogenesis requires AUX/LAX-mediated auxin influx. Development. 142(4), 702–711."},"date_created":"2018-12-11T11:54:26Z","scopus_import":"1","day":"15","corr_author":"1","article_processing_charge":"No","abstract":[{"lang":"eng","text":"The plant hormone auxin and its directional transport are known to play a crucial role in defining the embryonic axis and subsequent development of the body plan. Although the role of PIN auxin efflux transporters has been clearly assigned during embryonic shoot and root specification, the role of the auxin influx carriers AUX1 and LIKE-AUX1 (LAX) proteins is not well established. Here, we used chemical and genetic tools on Brassica napus microspore-derived embryos and Arabidopsis thaliana zygotic embryos, and demonstrate that AUX1, LAX1 and LAX2 are required for both shoot and root pole formation, in concert with PIN efflux carriers. Furthermore, we uncovered a positive-feedback loop betweenMONOPTEROS(ARF5)-dependent auxin signalling and auxin transport. ThisMONOPTEROSdependent transcriptional regulation of auxin influx (AUX1, LAX1 and LAX2) and auxin efflux (PIN1 and PIN4) carriers by MONOPTEROS helps to maintain proper auxin transport to the root tip. These results indicate that auxin-dependent cell specification during embryo development requires balanced auxin transport involving both influx and efflux mechanisms, and that this transport is maintained by a positive transcriptional feedback on auxin signalling."}]},{"page":"86-86","publication":"Communications of the ACM","language":[{"iso":"eng"}],"issue":"2","publication_status":"published","type":"journal_article","publisher":"ACM","oa_version":"None","year":"2015","status":"public","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","date_published":"2015-01-28T00:00:00Z","month":"01","volume":58,"publist_id":"5232","external_id":{"isi":["000349299600024"]},"author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","first_name":"Thomas A"},{"full_name":"Raskin, Jean","last_name":"Raskin","first_name":"Jean"}],"title":"The equivalence problem for finite automata: Technical perspective","department":[{"_id":"ToHe"}],"date_updated":"2025-09-23T13:49:40Z","article_processing_charge":"No","citation":{"ama":"Henzinger TA, Raskin J. The equivalence problem for finite automata: Technical perspective. <i>Communications of the ACM</i>. 2015;58(2):86-86. doi:<a href=\"https://doi.org/10.1145/2701001\">10.1145/2701001</a>","ieee":"T. A. Henzinger and J. Raskin, “The equivalence problem for finite automata: Technical perspective,” <i>Communications of the ACM</i>, vol. 58, no. 2. ACM, pp. 86–86, 2015.","short":"T.A. Henzinger, J. Raskin, Communications of the ACM 58 (2015) 86–86.","ista":"Henzinger TA, Raskin J. 2015. The equivalence problem for finite automata: Technical perspective. Communications of the ACM. 58(2), 86–86.","chicago":"Henzinger, Thomas A, and Jean Raskin. “The Equivalence Problem for Finite Automata: Technical Perspective.” <i>Communications of the ACM</i>. ACM, 2015. <a href=\"https://doi.org/10.1145/2701001\">https://doi.org/10.1145/2701001</a>.","apa":"Henzinger, T. A., &#38; Raskin, J. (2015). The equivalence problem for finite automata: Technical perspective. <i>Communications of the ACM</i>. ACM. <a href=\"https://doi.org/10.1145/2701001\">https://doi.org/10.1145/2701001</a>","mla":"Henzinger, Thomas A., and Jean Raskin. “The Equivalence Problem for Finite Automata: Technical Perspective.” <i>Communications of the ACM</i>, vol. 58, no. 2, ACM, 2015, pp. 86–86, doi:<a href=\"https://doi.org/10.1145/2701001\">10.1145/2701001</a>."},"date_created":"2018-12-11T11:54:26Z","scopus_import":"1","isi":1,"day":"28","_id":"1866","intvolume":"        58","doi":"10.1145/2701001"},{"abstract":[{"lang":"eng","text":"Cultured mammalian cells essential are model systems in basic biology research, production platforms of proteins for medical use, and testbeds in synthetic biology. Flavin cofactors, in particular flavin mononucleotide (FMN) and flavin adenine dinucleotide (FAD), are critical for cellular redox reactions and sense light in naturally occurring photoreceptors and optogenetic tools. Here, we quantified flavin contents of commonly used mammalian cell lines. We first compared three procedures for extraction of free and noncovalently protein-bound flavins and verified extraction using fluorescence spectroscopy. For separation, two CE methods with different BGEs were established, and detection was performed by LED-induced fluorescence with limit of detections (LODs 0.5-3.8 nM). We found that riboflavin (RF), FMN, and FAD contents varied significantly between cell lines. RF (3.1-14 amol/cell) and FAD (2.2-17.0 amol/cell) were the predominant flavins, while FMN (0.46-3.4 amol/cell) was found at markedly lower levels. Observed flavin contents agree with those previously extracted from mammalian tissues, yet reduced forms of RF were detected that were not described previously. Quantification of flavins in mammalian cell lines will allow a better understanding of cellular redox reactions and optogenetic tools."}],"article_processing_charge":"No","day":"01","corr_author":"1","date_created":"2018-12-11T11:54:26Z","citation":{"ama":"Hühner J, Inglés Prieto Á, Neusüß C, Lämmerhofer M, Janovjak HL. Quantification of riboflavin, flavin mononucleotide, and flavin adenine dinucleotide in mammalian model cells by CE with LED-induced fluorescence detection. <i>Electrophoresis</i>. 2015;36(4):518-525. doi:<a href=\"https://doi.org/10.1002/elps.201400451\">10.1002/elps.201400451</a>","short":"J. Hühner, Á. Inglés Prieto, C. Neusüß, M. Lämmerhofer, H.L. Janovjak, Electrophoresis 36 (2015) 518–525.","ieee":"J. Hühner, Á. Inglés Prieto, C. Neusüß, M. Lämmerhofer, and H. L. Janovjak, “Quantification of riboflavin, flavin mononucleotide, and flavin adenine dinucleotide in mammalian model cells by CE with LED-induced fluorescence detection,” <i>Electrophoresis</i>, vol. 36, no. 4. Wiley, pp. 518–525, 2015.","ista":"Hühner J, Inglés Prieto Á, Neusüß C, Lämmerhofer M, Janovjak HL. 2015. Quantification of riboflavin, flavin mononucleotide, and flavin adenine dinucleotide in mammalian model cells by CE with LED-induced fluorescence detection. Electrophoresis. 36(4), 518–525.","chicago":"Hühner, Jens, Álvaro Inglés Prieto, Christian Neusüß, Michael Lämmerhofer, and Harald L Janovjak. “Quantification of Riboflavin, Flavin Mononucleotide, and Flavin Adenine Dinucleotide in Mammalian Model Cells by CE with LED-Induced Fluorescence Detection.” <i>Electrophoresis</i>. Wiley, 2015. <a href=\"https://doi.org/10.1002/elps.201400451\">https://doi.org/10.1002/elps.201400451</a>.","apa":"Hühner, J., Inglés Prieto, Á., Neusüß, C., Lämmerhofer, M., &#38; Janovjak, H. L. (2015). Quantification of riboflavin, flavin mononucleotide, and flavin adenine dinucleotide in mammalian model cells by CE with LED-induced fluorescence detection. <i>Electrophoresis</i>. Wiley. <a href=\"https://doi.org/10.1002/elps.201400451\">https://doi.org/10.1002/elps.201400451</a>","mla":"Hühner, Jens, et al. “Quantification of Riboflavin, Flavin Mononucleotide, and Flavin Adenine Dinucleotide in Mammalian Model Cells by CE with LED-Induced Fluorescence Detection.” <i>Electrophoresis</i>, vol. 36, no. 4, Wiley, 2015, pp. 518–25, doi:<a href=\"https://doi.org/10.1002/elps.201400451\">10.1002/elps.201400451</a>."},"quality_controlled":"1","scopus_import":"1","doi":"10.1002/elps.201400451","intvolume":"        36","issue":"4","publication":"Electrophoresis","page":"518 - 525","language":[{"iso":"eng"}],"year":"2015","status":"public","volume":36,"publist_id":"5230","external_id":{"isi":["000349969700005"],"pmid":["25488801 "]},"author":[{"last_name":"Hühner","full_name":"Hühner, Jens","first_name":"Jens"},{"orcid":"0000-0002-5409-8571","full_name":"Inglés Prieto, Álvaro","last_name":"Inglés Prieto","id":"2A9DB292-F248-11E8-B48F-1D18A9856A87","first_name":"Álvaro"},{"first_name":"Christian","full_name":"Neusüß, Christian","last_name":"Neusüß"},{"first_name":"Michael","full_name":"Lämmerhofer, Michael","last_name":"Lämmerhofer"},{"first_name":"Harald L","full_name":"Janovjak, Harald L","orcid":"0000-0002-8023-9315","id":"33BA6C30-F248-11E8-B48F-1D18A9856A87","last_name":"Janovjak"}],"pubrep_id":"836","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","date_published":"2015-02-01T00:00:00Z","department":[{"_id":"HaJa"}],"title":"Quantification of riboflavin, flavin mononucleotide, and flavin adenine dinucleotide in mammalian model cells by CE with LED-induced fluorescence detection","date_updated":"2025-09-23T09:57:13Z","isi":1,"pmid":1,"_id":"1867","ec_funded":1,"oa_version":"None","type":"journal_article","publication_status":"published","publisher":"Wiley","project":[{"name":"Microbial Ion Channels for Synthetic Neurobiology","grant_number":"303564","call_identifier":"FP7","_id":"25548C20-B435-11E9-9278-68D0E5697425"},{"_id":"255BFFFA-B435-11E9-9278-68D0E5697425","name":"In situ real-time imaging of neurotransmitter signaling using designer optical sensors","grant_number":"RGY0084/2012"}],"month":"02"},{"status":"public","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","date_published":"2015-02-09T00:00:00Z","author":[{"full_name":"Park, Youngyong","last_name":"Park","first_name":"Youngyong"},{"full_name":"Do, Younghae","last_name":"Do","first_name":"Younghae"},{"orcid":"0000-0001-5964-0203","full_name":"Altmeyer, Sebastian","last_name":"Altmeyer","id":"2EE67FDC-F248-11E8-B48F-1D18A9856A87","first_name":"Sebastian"},{"full_name":"Lai, Yingcheng","last_name":"Lai","first_name":"Yingcheng"},{"first_name":"Gyuwon","full_name":"Lee, Gyuwon","last_name":"Lee"}],"external_id":{"isi":["000350239900013"]},"volume":91,"publist_id":"5229","publication":"Physical Review E","language":[{"iso":"eng"}],"issue":"2","year":"2015","scopus_import":"1","citation":{"ama":"Park Y, Do Y, Altmeyer S, Lai Y, Lee G. Early effect in time-dependent, high-dimensional nonlinear dynamical systems with multiple resonances. <i>Physical Review E</i>. 2015;91(2). doi:<a href=\"https://doi.org/10.1103/PhysRevE.91.022906\">10.1103/PhysRevE.91.022906</a>","short":"Y. Park, Y. Do, S. Altmeyer, Y. Lai, G. Lee, Physical Review E 91 (2015).","ieee":"Y. Park, Y. Do, S. Altmeyer, Y. Lai, and G. Lee, “Early effect in time-dependent, high-dimensional nonlinear dynamical systems with multiple resonances,” <i>Physical Review E</i>, vol. 91, no. 2. American Physical Society, 2015.","ista":"Park Y, Do Y, Altmeyer S, Lai Y, Lee G. 2015. Early effect in time-dependent, high-dimensional nonlinear dynamical systems with multiple resonances. Physical Review E. 91(2), 022906.","mla":"Park, Youngyong, et al. “Early Effect in Time-Dependent, High-Dimensional Nonlinear Dynamical Systems with Multiple Resonances.” <i>Physical Review E</i>, vol. 91, no. 2, 022906, American Physical Society, 2015, doi:<a href=\"https://doi.org/10.1103/PhysRevE.91.022906\">10.1103/PhysRevE.91.022906</a>.","apa":"Park, Y., Do, Y., Altmeyer, S., Lai, Y., &#38; Lee, G. (2015). Early effect in time-dependent, high-dimensional nonlinear dynamical systems with multiple resonances. <i>Physical Review E</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevE.91.022906\">https://doi.org/10.1103/PhysRevE.91.022906</a>","chicago":"Park, Youngyong, Younghae Do, Sebastian Altmeyer, Yingcheng Lai, and Gyuwon Lee. “Early Effect in Time-Dependent, High-Dimensional Nonlinear Dynamical Systems with Multiple Resonances.” <i>Physical Review E</i>. American Physical Society, 2015. <a href=\"https://doi.org/10.1103/PhysRevE.91.022906\">https://doi.org/10.1103/PhysRevE.91.022906</a>."},"date_created":"2018-12-11T11:54:27Z","quality_controlled":"1","day":"09","intvolume":"        91","doi":"10.1103/PhysRevE.91.022906","abstract":[{"text":"We investigate high-dimensional nonlinear dynamical systems exhibiting multiple resonances under adiabatic parameter variations. Our motivations come from experimental considerations where time-dependent sweeping of parameters is a practical approach to probing and characterizing the bifurcations of the system. The question is whether bifurcations so detected are faithful representations of the bifurcations intrinsic to the original stationary system. Utilizing a harmonically forced, closed fluid flow system that possesses multiple resonances and solving the Navier-Stokes equation under proper boundary conditions, we uncover the phenomenon of the early effect. Specifically, as a control parameter, e.g., the driving frequency, is adiabatically increased from an initial value, resonances emerge at frequency values that are lower than those in the corresponding stationary system. The phenomenon is established by numerical characterization of physical quantities through the resonances, which include the kinetic energy and the vorticity field, and a heuristic analysis based on the concept of instantaneous frequency. A simple formula is obtained which relates the resonance points in the time-dependent and time-independent systems. Our findings suggest that, in general, any true bifurcation of a nonlinear dynamical system can be unequivocally uncovered through adiabatic parameter sweeping, in spite of a shift in the bifurcation point, which is of value to experimental studies of nonlinear dynamical systems.","lang":"eng"}],"article_processing_charge":"No","article_number":"022906","month":"02","publisher":"American Physical Society","type":"journal_article","publication_status":"published","oa_version":"None","isi":1,"publication_identifier":{"issn":["1539-3755"]},"_id":"1868","department":[{"_id":"BjHo"}],"title":"Early effect in time-dependent, high-dimensional nonlinear dynamical systems with multiple resonances","date_updated":"2025-09-23T08:31:47Z"},{"file_date_updated":"2020-07-14T12:45:19Z","oa":1,"ddc":["570"],"abstract":[{"lang":"eng","text":"The plant hormone auxin is a key regulator of plant growth and development. Differences in auxin distribution within tissues are mediated by the polar auxin transport machinery, and cellular auxin responses occur depending on changes in cellular auxin levels. Multiple receptor systems at the cell surface and in the interior operate to sense and interpret fluctuations in auxin distribution that occur during plant development. Until now, three proteins or protein complexes that can bind auxin have been identified. SCFTIR1 [a SKP1-cullin-1-F-box complex that contains transport inhibitor response 1 (TIR1) as the F-box protein] and S-phase-kinaseassociated protein 2 (SKP2) localize to the nucleus, whereas auxinbinding protein 1 (ABP1), predominantly associates with the endoplasmic reticulum and cell surface. In this Cell Science at a Glance article, we summarize recent discoveries in the field of auxin transport and signaling that have led to the identification of new components of these pathways, as well as their mutual interaction."}],"has_accepted_license":"1","article_processing_charge":"No","corr_author":"1","day":"01","scopus_import":"1","date_created":"2018-12-11T11:54:28Z","quality_controlled":"1","citation":{"ieee":"P. Grones and J. Friml, “Auxin transporters and binding proteins at a glance,” <i>Journal of Cell Science</i>, vol. 128, no. 1. Company of Biologists, pp. 1–7, 2015.","short":"P. Grones, J. Friml, Journal of Cell Science 128 (2015) 1–7.","ama":"Grones P, Friml J. Auxin transporters and binding proteins at a glance. <i>Journal of Cell Science</i>. 2015;128(1):1-7. doi:<a href=\"https://doi.org/10.1242/jcs.159418\">10.1242/jcs.159418</a>","ista":"Grones P, Friml J. 2015. Auxin transporters and binding proteins at a glance. Journal of Cell Science. 128(1), 1–7.","chicago":"Grones, Peter, and Jiří Friml. “Auxin Transporters and Binding Proteins at a Glance.” <i>Journal of Cell Science</i>. Company of Biologists, 2015. <a href=\"https://doi.org/10.1242/jcs.159418\">https://doi.org/10.1242/jcs.159418</a>.","apa":"Grones, P., &#38; Friml, J. (2015). Auxin transporters and binding proteins at a glance. <i>Journal of Cell Science</i>. Company of Biologists. <a href=\"https://doi.org/10.1242/jcs.159418\">https://doi.org/10.1242/jcs.159418</a>","mla":"Grones, Peter, and Jiří Friml. “Auxin Transporters and Binding Proteins at a Glance.” <i>Journal of Cell Science</i>, vol. 128, no. 1, Company of Biologists, 2015, pp. 1–7, doi:<a href=\"https://doi.org/10.1242/jcs.159418\">10.1242/jcs.159418</a>."},"doi":"10.1242/jcs.159418","intvolume":"       128","issue":"1","publication":"Journal of Cell Science","language":[{"iso":"eng"}],"page":"1 - 7","year":"2015","acknowledgement":"This work was supported by the European Research Council [project ERC-2011-StG-20101109-PSDP]; European Social Fund [grant number CZ.1.07/2.3.00/20.0043] and the Czech Science Foundation GAČR [grant number GA13-40637S]","status":"public","external_id":{"isi":["000347167200001"]},"author":[{"first_name":"Peter","last_name":"Grones","id":"399876EC-F248-11E8-B48F-1D18A9856A87","full_name":"Grones, Peter"},{"id":"4159519E-F248-11E8-B48F-1D18A9856A87","last_name":"Friml","full_name":"Friml, Jirí","orcid":"0000-0002-8302-7596","first_name":"Jirí"}],"volume":128,"publist_id":"5225","file":[{"file_name":"IST-2016-563-v1+1_1.full.pdf","file_size":1688844,"checksum":"24c779f4cd9d549ca6833e26f486be27","content_type":"application/pdf","access_level":"open_access","date_created":"2018-12-12T10:11:00Z","date_updated":"2020-07-14T12:45:19Z","creator":"system","file_id":"4852","relation":"main_file"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","pubrep_id":"563","date_published":"2015-01-01T00:00:00Z","department":[{"_id":"JiFr"}],"title":"Auxin transporters and binding proteins at a glance","date_updated":"2025-09-23T07:58:34Z","isi":1,"_id":"1871","oa_version":"Submitted Version","publication_status":"published","publisher":"Company of Biologists","type":"journal_article","month":"01"},{"language":[{"iso":"eng"}],"page":"46 - 72","publication":"Artificial Intelligence","year":"2015","status":"public","date_published":"2015-04-01T00:00:00Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","author":[{"orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu"},{"first_name":"Martin","full_name":"Chmelik, Martin","last_name":"Chmelik","id":"3624234E-F248-11E8-B48F-1D18A9856A87"}],"external_id":{"arxiv":["1408.2058"],"isi":["000350782300003"]},"publist_id":"5224","volume":221,"abstract":[{"text":"We consider partially observable Markov decision processes (POMDPs) with limit-average payoff, where a reward value in the interval [0,1] is associated with every transition, and the payoff of an infinite path is the long-run average of the rewards. We consider two types of path constraints: (i) a quantitative constraint defines the set of paths where the payoff is at least a given threshold λ1ε(0,1]; and (ii) a qualitative constraint which is a special case of the quantitative constraint with λ1=1. We consider the computation of the almost-sure winning set, where the controller needs to ensure that the path constraint is satisfied with probability 1. Our main results for qualitative path constraints are as follows: (i) the problem of deciding the existence of a finite-memory controller is EXPTIME-complete; and (ii) the problem of deciding the existence of an infinite-memory controller is undecidable. For quantitative path constraints we show that the problem of deciding the existence of a finite-memory controller is undecidable. We also present a prototype implementation of our EXPTIME algorithm and experimental results on several examples.","lang":"eng"}],"oa":1,"article_processing_charge":"No","scopus_import":"1","quality_controlled":"1","citation":{"ista":"Chatterjee K, Chmelik M. 2015. POMDPs under probabilistic semantics. Artificial Intelligence. 221, 46–72.","chicago":"Chatterjee, Krishnendu, and Martin Chmelik. “POMDPs under Probabilistic Semantics.” <i>Artificial Intelligence</i>. Elsevier, 2015. <a href=\"https://doi.org/10.1016/j.artint.2014.12.009\">https://doi.org/10.1016/j.artint.2014.12.009</a>.","mla":"Chatterjee, Krishnendu, and Martin Chmelik. “POMDPs under Probabilistic Semantics.” <i>Artificial Intelligence</i>, vol. 221, Elsevier, 2015, pp. 46–72, doi:<a href=\"https://doi.org/10.1016/j.artint.2014.12.009\">10.1016/j.artint.2014.12.009</a>.","apa":"Chatterjee, K., &#38; Chmelik, M. (2015). POMDPs under probabilistic semantics. <i>Artificial Intelligence</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.artint.2014.12.009\">https://doi.org/10.1016/j.artint.2014.12.009</a>","short":"K. Chatterjee, M. Chmelik, Artificial Intelligence 221 (2015) 46–72.","ieee":"K. Chatterjee and M. Chmelik, “POMDPs under probabilistic semantics,” <i>Artificial Intelligence</i>, vol. 221. Elsevier, pp. 46–72, 2015.","ama":"Chatterjee K, Chmelik M. POMDPs under probabilistic semantics. <i>Artificial Intelligence</i>. 2015;221:46-72. doi:<a href=\"https://doi.org/10.1016/j.artint.2014.12.009\">10.1016/j.artint.2014.12.009</a>"},"date_created":"2018-12-11T11:54:28Z","day":"01","corr_author":"1","intvolume":"       221","doi":"10.1016/j.artint.2014.12.009","arxiv":1,"publication_status":"published","type":"journal_article","publisher":"Elsevier","oa_version":"Preprint","main_file_link":[{"url":"https://arxiv.org/abs/1408.2058","open_access":"1"}],"month":"04","department":[{"_id":"KrCh"}],"title":"POMDPs under probabilistic semantics","date_updated":"2025-09-23T09:52:31Z","isi":1,"_id":"1873"},{"OA_type":"green","place":"Cham","main_file_link":[{"url":"https://arxiv.org/abs/1511.01125","open_access":"1"}],"month":"11","arxiv":1,"oa_version":"Preprint","series_title":"423","publisher":"Springer Nature","type":"book_chapter","publication_status":"published","publication_identifier":{"issn":["0067-0057"],"eisbn":["9783319219578"],"eissn":["2214-7985"],"isbn":["9783319219561"]},"OA_place":"repository","_id":"18734","title":"Cosmic Reionization and the First Nonlinear Structures in the Universe","date_updated":"2025-01-07T12:45:30Z","status":"public","extern":"1","external_id":{"arxiv":["1511.01125"]},"author":[{"id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","last_name":"Haiman","full_name":"Haiman, Zoltán","orcid":"0000-0003-3633-5403","first_name":"Zoltán"}],"date_published":"2015-11-28T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"publication":"Understanding the Epoch of Cosmic Reionization","page":"1-22","year":"2015","day":"28","alternative_title":["Astrophysics and Space Science Library"],"quality_controlled":"1","citation":{"apa":"Haiman, Z. (2015). Cosmic Reionization and the First Nonlinear Structures in the Universe. In A. Mesinger (Ed.), <i>Understanding the Epoch of Cosmic Reionization</i> (pp. 1–22). Cham: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-319-21957-8_1\">https://doi.org/10.1007/978-3-319-21957-8_1</a>","mla":"Haiman, Zoltán. “Cosmic Reionization and the First Nonlinear Structures in the Universe.” <i>Understanding the Epoch of Cosmic Reionization</i>, edited by Andrei Mesinger, Springer Nature, 2015, pp. 1–22, doi:<a href=\"https://doi.org/10.1007/978-3-319-21957-8_1\">10.1007/978-3-319-21957-8_1</a>.","chicago":"Haiman, Zoltán. “Cosmic Reionization and the First Nonlinear Structures in the Universe.” In <i>Understanding the Epoch of Cosmic Reionization</i>, edited by Andrei Mesinger, 1–22. 423. Cham: Springer Nature, 2015. <a href=\"https://doi.org/10.1007/978-3-319-21957-8_1\">https://doi.org/10.1007/978-3-319-21957-8_1</a>.","ista":"Haiman Z. 2015.Cosmic Reionization and the First Nonlinear Structures in the Universe. In: Understanding the Epoch of Cosmic Reionization. Astrophysics and Space Science Library, , 1–22.","ama":"Haiman Z. Cosmic Reionization and the First Nonlinear Structures in the Universe. In: Mesinger A, ed. <i>Understanding the Epoch of Cosmic Reionization</i>. 423. Cham: Springer Nature; 2015:1-22. doi:<a href=\"https://doi.org/10.1007/978-3-319-21957-8_1\">10.1007/978-3-319-21957-8_1</a>","ieee":"Z. Haiman, “Cosmic Reionization and the First Nonlinear Structures in the Universe,” in <i>Understanding the Epoch of Cosmic Reionization</i>, A. Mesinger, Ed. Cham: Springer Nature, 2015, pp. 1–22.","short":"Z. Haiman, in:, A. Mesinger (Ed.), Understanding the Epoch of Cosmic Reionization, Springer Nature, Cham, 2015, pp. 1–22."},"date_created":"2025-01-03T12:28:57Z","scopus_import":"1","doi":"10.1007/978-3-319-21957-8_1","oa":1,"editor":[{"last_name":"Mesinger","full_name":"Mesinger, Andrei","first_name":"Andrei"}],"abstract":[{"lang":"eng","text":"In this Introduction, we outline expectations for when and how the hydrogen and helium atoms in the universe turned from neutral to ionized, focusing on the earliest, least well understood stages, and emphasize the most important open questions. We include a historical summary, and highlight the role of reionization as one of the few milestones in the evolution of the universe since the Big Bang, and its status as a unique probe of the beginning stages of structure formation."}],"article_processing_charge":"No"},{"date_updated":"2023-02-24T09:43:14Z","title":"Modelling ice-cliff backwasting on a debris-covered glacier in the Nepalese Himalaya","_id":"12626","publication_identifier":{"issn":["0022-1430"],"eissn":["1727-5652"]},"publication_status":"published","type":"journal_article","publisher":"International Glaciological Society","oa_version":"Published Version","month":"07","article_type":"original","main_file_link":[{"url":"https://doi.org/10.3189/2015JoG14J194","open_access":"1"}],"article_processing_charge":"No","abstract":[{"lang":"eng","text":"Ice cliffs have been identified as a reason for higher ablation rates on debris-covered glaciers than are implied by the insulation effects of the debris. This study aims to improve our understanding of cliff backwasting, and the role of radiative fluxes in particular. An energy-balance model is forced with new data gathered in May and October 2013 on Lirung Glacier, Nepalese Himalaya. Observations show substantial variability in melt between cliffs, between locations on any cliff and between seasons. Using a high-resolution digital elevation model we calculate longwave fluxes incident to the cliff from surrounding terrain and include the effect of local shading on shortwave radiation. This is an advance over previous studies, that made simplified assumptions on cliff geometry and radiative fluxes. Measured melt rates varied between 3.25 and 8.6 cm d−1 in May and 0.18 and 1.34 cm d−1 in October. Model results reproduce the strong variability in space and time, suggesting considerable differences in radiative fluxes over one cliff. In October the model fails to reproduce stake readings, probably due to the lack of a refreezing component. Disregarding local topography can lead to overestimation of melt at the point scale by up to ∼9%."}],"oa":1,"intvolume":"        61","doi":"10.3189/2015jog14j194","scopus_import":"1","quality_controlled":"1","date_created":"2023-02-20T08:16:01Z","citation":{"ama":"Steiner JF, Pellicciotti F, Buri P, Miles ES, Immerzeel WW, Reid TD. Modelling ice-cliff backwasting on a debris-covered glacier in the Nepalese Himalaya. <i>Journal of Glaciology</i>. 2015;61(229):889-907. doi:<a href=\"https://doi.org/10.3189/2015jog14j194\">10.3189/2015jog14j194</a>","ieee":"J. F. Steiner, F. Pellicciotti, P. Buri, E. S. Miles, W. W. Immerzeel, and T. D. Reid, “Modelling ice-cliff backwasting on a debris-covered glacier in the Nepalese Himalaya,” <i>Journal of Glaciology</i>, vol. 61, no. 229. International Glaciological Society, pp. 889–907, 2015.","short":"J.F. Steiner, F. Pellicciotti, P. Buri, E.S. Miles, W.W. Immerzeel, T.D. Reid, Journal of Glaciology 61 (2015) 889–907.","mla":"Steiner, Jakob F., et al. “Modelling Ice-Cliff Backwasting on a Debris-Covered Glacier in the Nepalese Himalaya.” <i>Journal of Glaciology</i>, vol. 61, no. 229, International Glaciological Society, 2015, pp. 889–907, doi:<a href=\"https://doi.org/10.3189/2015jog14j194\">10.3189/2015jog14j194</a>.","chicago":"Steiner, Jakob F., Francesca Pellicciotti, Pascal Buri, Evan S. Miles, Walter W. Immerzeel, and Tim D. Reid. “Modelling Ice-Cliff Backwasting on a Debris-Covered Glacier in the Nepalese Himalaya.” <i>Journal of Glaciology</i>. International Glaciological Society, 2015. <a href=\"https://doi.org/10.3189/2015jog14j194\">https://doi.org/10.3189/2015jog14j194</a>.","apa":"Steiner, J. F., Pellicciotti, F., Buri, P., Miles, E. S., Immerzeel, W. W., &#38; Reid, T. D. (2015). Modelling ice-cliff backwasting on a debris-covered glacier in the Nepalese Himalaya. <i>Journal of Glaciology</i>. International Glaciological Society. <a href=\"https://doi.org/10.3189/2015jog14j194\">https://doi.org/10.3189/2015jog14j194</a>","ista":"Steiner JF, Pellicciotti F, Buri P, Miles ES, Immerzeel WW, Reid TD. 2015. Modelling ice-cliff backwasting on a debris-covered glacier in the Nepalese Himalaya. Journal of Glaciology. 61(229), 889–907."},"day":"01","year":"2015","page":"889-907","publication":"Journal of Glaciology","language":[{"iso":"eng"}],"issue":"229","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2015-07-01T00:00:00Z","author":[{"last_name":"Steiner","full_name":"Steiner, Jakob F.","first_name":"Jakob F."},{"last_name":"Pellicciotti","id":"b28f055a-81ea-11ed-b70c-a9fe7f7b0e70","full_name":"Pellicciotti, Francesca","first_name":"Francesca"},{"first_name":"Pascal","last_name":"Buri","full_name":"Buri, Pascal"},{"full_name":"Miles, Evan S.","last_name":"Miles","first_name":"Evan S."},{"first_name":"Walter W.","last_name":"Immerzeel","full_name":"Immerzeel, Walter W."},{"full_name":"Reid, Tim D.","last_name":"Reid","first_name":"Tim D."}],"extern":"1","volume":61,"status":"public"},{"scopus_import":"1","quality_controlled":"1","date_created":"2023-02-20T08:16:06Z","citation":{"chicago":"Herreid, Sam, Francesca Pellicciotti, Alvaro Ayala, Anna Chesnokova, Christian Kienholz, Joseph Shea, and Arun Shrestha. “Satellite Observations Show No Net Change in the Percentage of Supraglacial Debris-Covered Area in Northern Pakistan from 1977 to 2014.” <i>Journal of Glaciology</i>. International Glaciological Society, 2015. <a href=\"https://doi.org/10.3189/2015jog14j227\">https://doi.org/10.3189/2015jog14j227</a>.","mla":"Herreid, Sam, et al. “Satellite Observations Show No Net Change in the Percentage of Supraglacial Debris-Covered Area in Northern Pakistan from 1977 to 2014.” <i>Journal of Glaciology</i>, vol. 61, no. 227, International Glaciological Society, 2015, pp. 524–36, doi:<a href=\"https://doi.org/10.3189/2015jog14j227\">10.3189/2015jog14j227</a>.","apa":"Herreid, S., Pellicciotti, F., Ayala, A., Chesnokova, A., Kienholz, C., Shea, J., &#38; Shrestha, A. (2015). Satellite observations show no net change in the percentage of supraglacial debris-covered area in northern Pakistan from 1977 to 2014. <i>Journal of Glaciology</i>. International Glaciological Society. <a href=\"https://doi.org/10.3189/2015jog14j227\">https://doi.org/10.3189/2015jog14j227</a>","ista":"Herreid S, Pellicciotti F, Ayala A, Chesnokova A, Kienholz C, Shea J, Shrestha A. 2015. Satellite observations show no net change in the percentage of supraglacial debris-covered area in northern Pakistan from 1977 to 2014. Journal of Glaciology. 61(227), 524–536.","ama":"Herreid S, Pellicciotti F, Ayala A, et al. Satellite observations show no net change in the percentage of supraglacial debris-covered area in northern Pakistan from 1977 to 2014. <i>Journal of Glaciology</i>. 2015;61(227):524-536. doi:<a href=\"https://doi.org/10.3189/2015jog14j227\">10.3189/2015jog14j227</a>","ieee":"S. Herreid <i>et al.</i>, “Satellite observations show no net change in the percentage of supraglacial debris-covered area in northern Pakistan from 1977 to 2014,” <i>Journal of Glaciology</i>, vol. 61, no. 227. International Glaciological Society, pp. 524–536, 2015.","short":"S. Herreid, F. Pellicciotti, A. Ayala, A. Chesnokova, C. Kienholz, J. Shea, A. Shrestha, Journal of Glaciology 61 (2015) 524–536."},"day":"01","intvolume":"        61","doi":"10.3189/2015jog14j227","abstract":[{"lang":"eng","text":"Spatial evolution of supraglacial debris cover on mountain glaciers is a largely unmonitored and poorly understood phenomenon that directly affects glacier melt. Supraglacial debris cover for 93 glaciers in the Karakoram, northern Pakistan, was mapped from Landsat imagery acquired in 1977, 1998, 2009 and 2014. Surge-type glaciers occupy 41% of the study area and were considered separately. The time series of debris-covered surface area change shows a mean value of zero or near-zero change for both surging and non-surging glaciers. An increase in debris-covered area is often associated with negative regional mass balances. We extend this logic to suggest that the stable regional mass balances in the Karakoram explain the zero or near-zero change in debris-covered area. This coupling of trends combined with our 37 year time series of data suggests the Karakoram anomaly extends further back in time than previously known."}],"oa":1,"article_processing_charge":"No","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2015-05-01T00:00:00Z","author":[{"first_name":"Sam","full_name":"Herreid, Sam","last_name":"Herreid"},{"id":"b28f055a-81ea-11ed-b70c-a9fe7f7b0e70","last_name":"Pellicciotti","full_name":"Pellicciotti, Francesca","first_name":"Francesca"},{"full_name":"Ayala, Alvaro","last_name":"Ayala","first_name":"Alvaro"},{"first_name":"Anna","full_name":"Chesnokova, Anna","last_name":"Chesnokova"},{"first_name":"Christian","full_name":"Kienholz, Christian","last_name":"Kienholz"},{"full_name":"Shea, Joseph","last_name":"Shea","first_name":"Joseph"},{"first_name":"Arun","full_name":"Shrestha, Arun","last_name":"Shrestha"}],"extern":"1","volume":61,"language":[{"iso":"eng"}],"publication":"Journal of Glaciology","page":"524-536","issue":"227","year":"2015","publication_identifier":{"issn":["0022-1430"],"eissn":["1727-5652"]},"_id":"12627","title":"Satellite observations show no net change in the percentage of supraglacial debris-covered area in northern Pakistan from 1977 to 2014","date_updated":"2023-02-24T09:40:30Z","main_file_link":[{"open_access":"1","url":"https://doi.org/10.3189/2015JoG14J227"}],"month":"05","article_type":"original","publisher":"International Glaciological Society","publication_status":"published","type":"journal_article","oa_version":"Published Version"},{"year":"2015","issue":"226","page":"373-386","language":[{"iso":"eng"}],"publication":"Journal of Glaciology","extern":"1","volume":61,"author":[{"first_name":"Francesca","id":"b28f055a-81ea-11ed-b70c-a9fe7f7b0e70","last_name":"Pellicciotti","orcid":"0000-0002-5554-8087","full_name":"Pellicciotti, Francesca"},{"full_name":"Stephan, Christa","last_name":"Stephan","first_name":"Christa"},{"first_name":"Evan","last_name":"Miles","full_name":"Miles, Evan"},{"last_name":"Herreid","full_name":"Herreid, Sam","first_name":"Sam"},{"full_name":"Immerzeel, Walter W.","last_name":"Immerzeel","first_name":"Walter W."},{"last_name":"Bolch","full_name":"Bolch, Tobias","first_name":"Tobias"}],"date_published":"2015-03-01T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","article_processing_charge":"No","oa":1,"abstract":[{"lang":"eng","text":"Thick debris cover on glaciers can significantly reduce ice melt. However, several studies have suggested that debris-covered glaciers in the Himalaya might have lost mass at a rate similar to debris-free glaciers. We reconstruct elevation and mass changes for the debris-covered glaciers of the upper Langtang valley, Nepalese Himalaya, using a digital elevation model (DEM) from 1974 stereo Hexagon satellite data and the 2000 SRTM (Shuttle Radar Topography Mission) DEM. Uncertainties are high in the accumulation areas, due to data gaps in the SRTM and difficulties with delineation of the glacier borders. Even with these uncertainties, we obtain thinning rates comparable to those of several other studies in the Himalaya. In particular, we obtain a total mass balance for the investigated debris-covered glaciers of the basin of –0.32 ± 0.18 m w.e. a<jats:sup>−1</jats:sup>. However, there are major spatial differences both between glaciers and within any single glacier, exhibiting a very distinct nonlinear mass-balance profile with elevation. Through analysis of surface velocities derived from Landsat ETM+ imagery, we show that thinning occurs in areas of low velocity and low slope. These areas are prone to a general, dynamic decay of surface features and to the development of supraglacial lakes and ice cliffs, which may be responsible for a considerable increase in overall glacier ablation."}],"doi":"10.3189/2015jog13j237","intvolume":"        61","day":"01","quality_controlled":"1","citation":{"ieee":"F. Pellicciotti, C. Stephan, E. Miles, S. Herreid, W. W. Immerzeel, and T. Bolch, “Mass-balance changes of the debris-covered glaciers in the Langtang Himal, Nepal, from 1974 to 1999,” <i>Journal of Glaciology</i>, vol. 61, no. 226. International Glaciological Society, pp. 373–386, 2015.","short":"F. Pellicciotti, C. Stephan, E. Miles, S. Herreid, W.W. Immerzeel, T. Bolch, Journal of Glaciology 61 (2015) 373–386.","ama":"Pellicciotti F, Stephan C, Miles E, Herreid S, Immerzeel WW, Bolch T. Mass-balance changes of the debris-covered glaciers in the Langtang Himal, Nepal, from 1974 to 1999. <i>Journal of Glaciology</i>. 2015;61(226):373-386. doi:<a href=\"https://doi.org/10.3189/2015jog13j237\">10.3189/2015jog13j237</a>","ista":"Pellicciotti F, Stephan C, Miles E, Herreid S, Immerzeel WW, Bolch T. 2015. Mass-balance changes of the debris-covered glaciers in the Langtang Himal, Nepal, from 1974 to 1999. Journal of Glaciology. 61(226), 373–386.","apa":"Pellicciotti, F., Stephan, C., Miles, E., Herreid, S., Immerzeel, W. W., &#38; Bolch, T. (2015). Mass-balance changes of the debris-covered glaciers in the Langtang Himal, Nepal, from 1974 to 1999. <i>Journal of Glaciology</i>. International Glaciological Society. <a href=\"https://doi.org/10.3189/2015jog13j237\">https://doi.org/10.3189/2015jog13j237</a>","mla":"Pellicciotti, Francesca, et al. “Mass-Balance Changes of the Debris-Covered Glaciers in the Langtang Himal, Nepal, from 1974 to 1999.” <i>Journal of Glaciology</i>, vol. 61, no. 226, International Glaciological Society, 2015, pp. 373–86, doi:<a href=\"https://doi.org/10.3189/2015jog13j237\">10.3189/2015jog13j237</a>.","chicago":"Pellicciotti, Francesca, Christa Stephan, Evan Miles, Sam Herreid, Walter W. Immerzeel, and Tobias Bolch. “Mass-Balance Changes of the Debris-Covered Glaciers in the Langtang Himal, Nepal, from 1974 to 1999.” <i>Journal of Glaciology</i>. International Glaciological Society, 2015. <a href=\"https://doi.org/10.3189/2015jog13j237\">https://doi.org/10.3189/2015jog13j237</a>."},"date_created":"2023-02-20T08:16:11Z","scopus_import":"1","oa_version":"Published Version","publisher":"International Glaciological Society","publication_status":"published","type":"journal_article","article_type":"original","month":"03","main_file_link":[{"url":"https://doi.org/10.3189/2015JoG13J237","open_access":"1"}],"keyword":["Earth-Surface Processes"],"date_updated":"2024-10-14T12:04:16Z","title":"Mass-balance changes of the debris-covered glaciers in the Langtang Himal, Nepal, from 1974 to 1999","_id":"12628","publication_identifier":{"issn":["0022-1430"],"eissn":["1727-5652"]}}]